Automated blackbox GUI specifications enhancement and test data generation

نویسندگان

  • Mohammad Ali Darvish Darab
  • Ali Darvish
  • Morris Chang
  • Samik Basu
  • Simanta Mitra
  • Xiaoqiu Huang
چکیده

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x CHAPTER

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hierarchical GUI Test Case Generation Using Automated Planning

ÐThe widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity come challenges in testing the correctness of a GUI and its underlying software. We present a new technique to automatically generate test cases for GUIs that exploits planning, a well-developed and used technique in artificial intelligence. Given a...

متن کامل

Automated Test Case Generation from IFAD VDM++ Specifications

Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While objectoriented paradigm is the most widely accepted methodology for software development, generation of test cases from object-oriented formal specifications is still a relatively unexplored area. In this paper, we present a nov...

متن کامل

A GUI Environment to Manipulate FSMs for Testing GUI-based Applications in Java

The development of GUI-based applications has raised a lot of new issues, one of them being how to effectively test complicated graphical user interactions. In this paper, we present a visual environment for manipulating test specifications of GUI-based applications in Java. In our approach, the internal representation of a test specification, which contains the contexts of GUI input and output...

متن کامل

DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications

“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is compiled, linked, and (re)tested with the goal of validating its basic functionality. Although successful for conventional software, smoke tests are difficult to develop and automatically rerun for software that has a graphica...

متن کامل

Automated Model - based GUI Test Cases Generation from Use Cases

Mostly of today’s computer users interact with the software through a graphical user interface (GUI). In software engineering, software testing and quality have become a topic of major concern. Software testing is today an important stage in software projects and GUI testing is also crucial to the solution ́s quality. Nevertheless, GUI testing is not an easy task, it ́s very time consuming and to...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015